type RingF2[A] = RingF[RingF1[A]]